Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Llistar Títols | dc.subject:"Lògica" | 100 - 109


Llistar Títols

S'han trobat 109 ítems

Llistant ítems des de 100 a 109:

  1  2  3  4  5   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 1 juny 2018 A Variant of Higher-Order Anti-Unification
out url icon Recercat 5 juny 2018 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
media icon DUGiMedia 11 juny 2021 Verifobia y proceso: después de todo, aún debemos ser puristas anticuados Riguetti, Gabriel
media icon DUGiMedia 15 febrer 2023 Virtud y desacuerdo profundo en el Derecho Amaya, Amalia
media icon DUGiMedia 31 gener 2024 Ways of Criticising the Inductive Force of an Argument: Some Implications for the Evaluation of Legal Evidence Ihnen, Constanza
media icon DUGiMedia 27 maig 2022 Workshop 4 (WS4): Evidential Reasoning and Cognitive Bias Arena, Federico J. ; Lidén, Moa ; Duce, Mauricio ; Benforado, Adam ; Páez, Andrés
out url icon Recercat A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert
doc icon DUGiDocs 2008 A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert
  1  2  3  4  5   

Matèries


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Autors


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32


Warning: fopen(/dades/dugi/cache/be08ab2fc32481396301e0f5d3f06ad2_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2